Issue2788c.agda:8,1-39
Missing option --cubical or --erased-cubical
when checking the pragma BUILTIN PATHP PathP
